Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·2d
🏗️Constructive Mathematics
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Protocols for Verifying Smooth Strategies in Bandits and Games
arxiv.org·15h
🎯Performance Proofs
Historical highlights?
logicmatters.net·1d
🔀Category Theory
How to reason from first principles
caseyhandmer.wordpress.com·13m
🎯Proof Tactics
Turing, Wagner, Ruth
blog.computationalcomplexity.org·43m·
Discuss: blog.computationalcomplexity.org
📐Mathematical Art
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·21h·
Discuss: Hacker News
🎯Interactive Provers
Machine Learning Fundamentals: dimensionality reduction
dev.to·4h·
Discuss: DEV
📐Linear Algebra
Extensions and Shadows (6)
sites.psu.edu·2d
🎯Proof Tactics
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Proof by Intimidation
en.wikipedia.org·10h·
Discuss: Hacker News
🎯Proof Tactics
A Poet Completes the Square
denisegaskins.com·6h
⚔️Lean Tactics
2011 N1 = 2024 A2
blog.evanchen.cc·1h
🔬Lean
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Rethinking Distributed Computing for the AI Era
cacm.acm.org·19m
⚡Incremental Computation
Dual numbers
funcall.blogspot.com·2h·
Discuss: www.blogger.com
📐Interval Arithmetic
Some Recommended Reading
slott56.github.io·4h
🧮Datalog
A new look at twin reduction
cameroncounts.wordpress.com·2d
🔗Graph Isomorphism
A PhD's Apology
cappadokes.github.io·6h·
Discuss: Hacker News
🧮Theoretical Computer Science
Compressed data structures for Heegaard splittings
arxiv.org·15h
🕳️Persistent Homology